denotational setting

标志设定